Simulink Code Inspector Report for Heading_Mode.slx

Inspected Model File : C:\Users\bpotter\LocalWorkArea\demos\autopilot_R2013b_workarea\Heading_Mode.slx
Model Version : 1.146
Simulink Version : 8.2 (R2013b)
Model Checksum : 3081775825 1444590382 2650175411 2881307676
Model Last Modified On : 28-Jan-2014 07:25:55
Inspected Code Files : C:\Users\bpotter\LocalWorkArea\demos\autopilot_R2013b_workarea\slprj\ert\_sharedutils\const_params.c
C:\Users\bpotter\LocalWorkArea\demos\autopilot_R2013b_workarea\slprj\ert\Heading_Mode\Heading_Mode.c
Code Inspection Run On : 03-Feb-2014 08:15:53
 
Overall Inspection Result : Passed

Code Verification Results : Verified

Function Interface Verification Results : Verified

Function Status Details
Heading_Mode_initialize Verified -
Heading_Mode Verified -

Model To Code Verification Results : Verified

Status Details
Verified
Model objects with status Verified : 24
Model objects with status Partially processed : 0
Model objects with status Unable to process : 0
Model objects with status Failed to verify : 0

Code To Model Verification Results : Verified

Function Status Details
Heading_Mode_initialize Verified
Lines of code with status Verified : 2
Lines of code with status Partially processed : 0
Lines of code with status Unable to process : 0
Lines of code with status Failed to verify : 0
Heading_Mode Verified
Lines of code with status Verified : 10
Lines of code with status Partially processed : 0
Lines of code with status Unable to process : 0
Lines of code with status Failed to verify : 0

Temporary Variable Usage Results : Verified

Function Status Details
Heading_Mode_initialize Verified
Function does not have any temporary variable declarations
Heading_Mode Verified
Temporary variables with status Failed to verify : 0
Temporary variables with status Verified : 2


Traceability Results : Traced

Model To Code Traceability Results : Traced

Status Number of model objects
Traced 24
Partially processed 0
Unable to process 0
Failed to trace 0

Code To Model Traceability Results : Traced

Status Number of code lines
Traced 18
Nonfunctional code 59
Not processed 2
Partially processed 0
Unable to process 0
Failed to trace 0

Not processed code:

File : Heading_Mode.c

Code location Code
16 #include "Heading_Mode.h"
17 #include "Heading_Mode_private.h"


Code Verification Details

[-] Function Interface Verification
[-] Function : Heading_Mode_initialize
Check Status
Number of function arguments Verified
Function argument names Verified
Function argument data types Verified
Function return type Verified
[-] Function : Heading_Mode
Check Status
Number of function arguments Verified
Function argument names Verified
Function argument data types Verified
Function return type Verified
[-] Model To Code Verification
Model : Heading_Mode
Model object Status Details
<model>/Psi Ref Verified
Virtual/Eliminated (Inport)
<model>/Psi Verified
Virtual/Eliminated (Inport)
<model>/TAS Verified
Virtual/Eliminated (Inport)
<model>/Angle_Diff Verified
Virtual/Eliminated (SubSystem)
<model>/Disp Gain Verified
-
<model>/Model Info Verified
Virtual/Eliminated (Model Info block)
<model>/Product Verified
-
<model>/Phi Cmd Verified
-
<model>/Angle_Diff/plus Verified
Virtual/Eliminated (Inport)
<model>/Angle_Diff/minus Verified
Virtual/Eliminated (Inport)
<model>/Angle_Diff/abs Verified
-
<model>/Angle_Diff/constant Verified
-
<model>/Angle_Diff/constant1 Verified
-
<model>/Angle_Diff/floor Verified
-
<model>/Angle_Diff/product Verified
-
<model>/Angle_Diff/product1 Verified
-
<model>/Angle_Diff/product2 Verified
-
<model>/Angle_Diff/signum Verified
-
<model>/Angle_Diff/sum Verified
-
<model>/Angle_Diff/sum1 Verified
-
<model>/Angle_Diff/sum2 Verified
-
<model>/Angle_Diff/diff Verified
Virtual/Eliminated (Outport)
<model>/Model Info/EmptySubsystem Verified
Virtual/Eliminated (SubSystem)
block I/O initialization code Verified
-
[-] Code To Model Verification
[-] Function : Heading_Mode_initialize
Function outputs/state variables Contributing lines of code
*localB.hdgError Verified
Heading_Mode.c:71 Verified
Heading_Mode.c:72 Verified
[-] Function : Heading_Mode
Function outputs/state variables Contributing lines of code
*localB.hdgError Verified
Heading_Mode.c:28 Verified
Heading_Mode.c:31 Verified
Heading_Mode.c:32 Verified
Heading_Mode.c:33 Verified
Heading_Mode.c:34 Verified
Heading_Mode.c:35 Verified
Heading_Mode.c:36 Verified
Heading_Mode.c:50 Verified
Heading_Mode.c:51 Verified
*rty_PhiCmd Verified
Heading_Mode.c:28 Verified
Heading_Mode.c:31 Verified
Heading_Mode.c:32 Verified
Heading_Mode.c:33 Verified
Heading_Mode.c:34 Verified
Heading_Mode.c:35 Verified
Heading_Mode.c:36 Verified
Heading_Mode.c:50 Verified
Heading_Mode.c:51 Verified
Heading_Mode.c:62 Verified
[-] Temporary Variable Usage
[-] Function : Heading_Mode_initialize
Function does not have any temporary variable declarations
[-] Function : Heading_Mode
Temporary variable name Status
rtb_sum Verified
y Verified

Traceability Details

[-] Model To Code Traceability
Model : Heading_Mode
Model object Code location Details
<model>/Psi Ref
-
Virtual/Eliminated (Inport)
<model>/Psi
-
Virtual/Eliminated (Inport)
<model>/TAS
-
Virtual/Eliminated (Inport)
<model>/Angle_Diff
-
Virtual/Eliminated (SubSystem)
<model>/Disp Gain
Heading_Mode.c:62
-
<model>/Model Info
-
Virtual/Eliminated (Model Info block)
<model>/Product
Heading_Mode.c:62
-
<model>/Phi Cmd
Heading_Mode.c:62
-
<model>/Angle_Diff/plus
-
Virtual/Eliminated (Inport)
<model>/Angle_Diff/minus
-
Virtual/Eliminated (Inport)
<model>/Angle_Diff/abs
Heading_Mode.c:50
-
<model>/Angle_Diff/constant
Heading_Mode.c:50
-
<model>/Angle_Diff/constant1
Heading_Mode.c:50-51
-
<model>/Angle_Diff/floor
Heading_Mode.c:50
-
<model>/Angle_Diff/product
Heading_Mode.c:50
-
<model>/Angle_Diff/product1
Heading_Mode.c:50
-
<model>/Angle_Diff/product2
Heading_Mode.c:50
-
<model>/Angle_Diff/signum
Heading_Mode.c:31-36
-
<model>/Angle_Diff/sum
Heading_Mode.c:28 , 36
-
<model>/Angle_Diff/sum1
Heading_Mode.c:50
-
<model>/Angle_Diff/sum2
Heading_Mode.c:50
-
<model>/Angle_Diff/diff
-
Virtual/Eliminated (Outport)
<model>/Model Info/EmptySubsystem
-
Virtual/Eliminated (SubSystem)
block I/O initialization code
Heading_Mode.c:71-72
-
[-] Code To Model Traceability
File : Heading_Mode.c
Code location Code Model object Details
1 /*
-
Nonfunctional code (Comment)
2 * File: Heading_Mode.c
-
Nonfunctional code (Comment)
3 *
-
Nonfunctional code (Comment)
4 * Code generated for Simulink model 'Heading_Mode'.
-
Nonfunctional code (Comment)
5 *
-
Nonfunctional code (Comment)
6 * Model version : 1.146
-
Nonfunctional code (Comment)
7 * Simulink Coder version : 8.5 (R2013b) 08-Aug-2013
-
Nonfunctional code (Comment)
8 * C/C++ source code generated on : Mon Feb 03 08:13:34 2014
-
Nonfunctional code (Comment)
9 *
-
Nonfunctional code (Comment)
10 * Target selection: ert.tlc
-
Nonfunctional code (Comment)
11 * Embedded hardware selection: 32-bit Embedded Processor
-
Nonfunctional code (Comment)
12 * Code generation objectives: Unspecified
-
Nonfunctional code (Comment)
13 * Validation result: Not run
-
Nonfunctional code (Comment)
14 */
-
Nonfunctional code (Comment)
15
-
Nonfunctional code (Empty line)
16 #include "Heading_Mode.h"
-
Not processed (Include statement)
17 #include "Heading_Mode_private.h"
-
Not processed (Include statement)
18
-
Nonfunctional code (Empty line)
19 /* Output and update for referenced model: 'Heading_Mode' */
-
Nonfunctional code (Comment)
20 void Heading_Mode(const real_T *rtu_PsiRef, const real_T *rtu_Psi, const real_T ...
output function interface
-
21 rtu_TAS, real_T *rty_PhiCmd, rtB_Heading_Mode *localB, real_T ...
output function interface
-
22 rtp_hdgGain)
output function interface
-
23 {
-
Nonfunctional code (Start of code segment)
24 real_T rtb_sum;
-
Local variable declaration
25 real_T y;
-
Local variable declaration
26
-
Nonfunctional code (Empty line)
27 /* Sum: '<S1>/sum' */
-
Nonfunctional code (Comment)
28 rtb_sum = (*rtu_PsiRef) - (*rtu_Psi);
<model>/Psi Ref
<model>/Psi
<model>/Angle_Diff/sum
-
29
-
Nonfunctional code (Empty line)
30 /* Signum: '<S1>/signum' */
-
Nonfunctional code (Comment)
31 if (rtb_sum < 0.0) {
<model>/Angle_Diff/signum
-
32 y = -1.0;
<model>/Angle_Diff/signum
-
33 } else if (rtb_sum > 0.0) {
<model>/Angle_Diff/signum
-
34 y = 1.0;
<model>/Angle_Diff/signum
-
35 } else {
<model>/Angle_Diff/signum
-
36 y = rtb_sum;
<model>/Angle_Diff/signum
<model>/Angle_Diff/sum
-
37 }
-
Nonfunctional code (End of code segment)
38
-
Nonfunctional code (Empty line)
39 /* Sum: '<S1>/sum1' incorporates:
-
Nonfunctional code (Comment)
40 * Abs: '<S1>/abs'
-
Nonfunctional code (Comment)
41 * Constant: '<S1>/constant'
-
Nonfunctional code (Comment)
42 * Constant: '<S1>/constant1'
-
Nonfunctional code (Comment)
43 * Product: '<S1>/product'
-
Nonfunctional code (Comment)
44 * Product: '<S1>/product1'
-
Nonfunctional code (Comment)
45 * Product: '<S1>/product2'
-
Nonfunctional code (Comment)
46 * Rounding: '<S1>/floor'
-
Nonfunctional code (Comment)
47 * Signum: '<S1>/signum'
-
Nonfunctional code (Comment)
48 * Sum: '<S1>/sum2'
-
Nonfunctional code (Comment)
49 */
-
Nonfunctional code (Comment)
50 localB->hdgError = rtb_sum - (y * (floor((fabs(rtb_sum) + 180.0) / 360.0) *
<model>/Angle_Diff/abs
<model>/Angle_Diff/constant
<model>/Angle_Diff/constant1
<model>/Angle_Diff/floor
<model>/Angle_Diff/product
<model>/Angle_Diff/product1
<model>/Angle_Diff/product2
<model>/Angle_Diff/sum1
<model>/Angle_Diff/sum2
-
51 360.0));
<model>/Angle_Diff/constant1
-
52
-
Nonfunctional code (Empty line)
53 /* Product: '<Root>/Product' incorporates:
-
Nonfunctional code (Comment)
54 * Gain: '<Root>/Disp Gain'
-
Nonfunctional code (Comment)
55 *
-
Nonfunctional code (Comment)
56 * Block requirements for '<Root>/Product':
-
Nonfunctional code (Comment)
57 * 1. 1.10. Heading Performance
-
Nonfunctional code (Comment)
58 *
-
Nonfunctional code (Comment)
59 * Block requirements for '<Root>/Disp Gain':
-
Nonfunctional code (Comment)
60 * 1. 1.10. Heading Performance
-
Nonfunctional code (Comment)
61 */
-
Nonfunctional code (Comment)
62 *rty_PhiCmd = (rtp_hdgGain * localB->hdgError) * (*rtu_TAS);
<model>/TAS
<model>/Disp Gain
<model>/Product
<model>/Phi Cmd
-
63 }
-
Nonfunctional code (End of code segment)
64
-
Nonfunctional code (Empty line)
65 /* Model initialize function */
-
Nonfunctional code (Comment)
66 void Heading_Mode_initialize(rtB_Heading_Mode *localB)
initialize function interface
-
67 {
-
Nonfunctional code (Start of code segment)
68 /* Registration code */
-
Nonfunctional code (Comment)
69
-
Nonfunctional code (Empty line)
70 /* block I/O */
-
Nonfunctional code (Comment)
71 (void) memset(((void *) localB), 0,
block I/O initialization code
-
72 sizeof(rtB_Heading_Mode));
block I/O initialization code
-
73 }
-
Nonfunctional code (End of code segment)
74
-
Nonfunctional code (Empty line)
75 /*
-
Nonfunctional code (Comment)
76 * File trailer for generated code.
-
Nonfunctional code (Comment)
77 *
-
Nonfunctional code (Comment)
78 * [EOF]
-
Nonfunctional code (Comment)
79 */
-
Nonfunctional code (Comment)